What's in a Trace: The Box Model Revisited

نویسندگان

  • Gerhard Tobermann
  • Clemens Beckstein
چکیده

In this paper we investigate trace protocols of PROLOG programs. We present a precise mathematical speciication of the box model for deenite programs as it was informally introduced by Byrd. We also give a sketch of how to generalize this speciication to normal logic programs.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Mechanism Discrimination for Bimolecular Reactions: Revisited with a Practical Hydrogenation Case Study

The governing mechanism of surface reactions is a fundamental concern in heterogeneous catalysis. The Langmuir–Hinshelwood (LH) mechanism is widely accepted to control the surface reactions in many catalytic systems. This contribution derives and compares several important surface rate equations to evaluate their quality of fitting to the experimental data collected for a vapor-phase hydrogenat...

متن کامل

High level Ab inito bench mark computaions on weak interactions (H2)2 dimer revisited

The Potential Energy Surface PES of (H2)2 dimer has been investigated, using five simple rigid rotor models. These models are called: head to head, symmetric side to side, L , steplike and T model. All calculations were done at two levels of ab initio  methods: MP2(Full) and QCISD (T,Full) using cc-pVTZ basis set at singlet state of spin multiplicity. The results of scanning PES were then fitte...

متن کامل

Sweep Line Algorithm for Convex Hull Revisited

Convex hull of some given points is the intersection of all convex sets containing them. It is used as primary structure in many other problems in computational geometry and other areas like image processing, model identification, geographical data systems, and triangular computation of a set of points and so on. Computing the convex hull of a set of point is one of the most fundamental and imp...

متن کامل

Solid Phase Extraction of Ultra Trace Amounts of Ni2+ by Dimethylglyoxime (DMG) Immobilized on Column

A column of alumina modified with sodium dodecyl sulfate (SDS) and dimethylglyoxime (DMG) was prepared for the preconcentration of trace nickel from water samples for flame atomic absorption spectrometry (FAAS) determinations. Under optimized conditions (pH=7.0; flow rate: 20 mlmin-1) nickel was retained on the column. The nickel collected on the column was eluted with 5 mL of 1 M nitric ac...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1993